2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
,
Axel Poigne
Категория:
Компьютеры
17.83 Mb
#2
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
David H. Pitt
,
Pierre-Louis Curien
,
Samson Abramsky
,
Andrew M. Pitts
,
Axel Poigne
,
David E. Rydeheard
Категория:
Компьютеры
17.48 Mb
#3
Computational Category Theory (Prentice-Hall International Series in Computer Science)
D. E. Rydeheard
,
Burstall
907 Kb
#4
Rydeheard D.E., Burstall R.M. Computational category theory (web draft, 2003)(263s)_MAct_.pdf
874 Kb
#5
Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf
931 Kb
#6
Computational category theory
D. E. Rydeheard
,
Burstall
Категория:
Mathematics
,
Algebra
,
Category theory
931 Kb
#7
Computational category theory
Rydeheard D.E.
,
Burstall R.M.
Категория:
Mathematics
,
Algebra
,
Category theory
874 Kb
#8
Category Theory and Computer Programming
David Pitt
,
Samson Abramsky
,
Axel Poigne
,
David Rydeheard
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.80 Mb
#9
Category Theory and Computer Science, 4 conf
David H. Pitt
,
Pierre-Louis Curien
,
Samson Abramsky
,
Andrew M. Pitts
,
Axel Poigne
,
David E. Rydeheard
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.68 Mb
#10
Category Theory and Computer Science 1987
David H. Pitt
,
Axel Poigne
,
David E. Rydeheard
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.72 Mb
#11
Category Theory and Computer Science 1989
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
,
Axel Poigne
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.82 Mb
#12
Category Theory and Computer Science, 6 conf., CTCS '95
D. E. Rydeheard
,
David Pitt
,
David E. Rydeheard
,
Peter Johnstone
Категория:
Cs_Computer science
,
CsLn_Lecture notes
1.82 Mb
#13
Computational Category Theory
D E Rydeheard R M Burstall
921 Kb